More from this Author

Computer Science Logic

by E. Borger (Editor), G. Jager (Editor), Hans Kleine Büning (Editor), M. M. Richter (Editor), G. Goos (Editor), J. Hartmanis (Editor)

CSL 'Eighty-Nine

by E. Borger (Editor), H. Kleine Buning (Editor), M. M. Richter (Editor)

Computer Science Logic

by E. Borger (Editor), H. Kleine Buning (Editor), M. M. Richter (Editor), W. Schonfeld (Editor), G. Goos (Editor), J. Hartmanis (Editor)

Künstliche Intelligenz

by Th. Christaller (Editor), H. -W. Hein (Editor), M. M. Richter (Editor)